#ifndef __COMMON_H__
#define __COMMON_H__

/* Uncomment these macros to enable corresponding functionality. */
#define HAS_CTE
// #define HAS_VME
// #define MULTIPROGRAM
// #define TIME_SHARING
#include <am.h>
#include <debug.h>
#include <klib-macros.h>
#include <klib.h>

typedef struct Context Context;

#endif
